int * restrict a;
